Wojciech Penczek: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Rough Sets and Sorites Paradox

Jankowski, Andrzej, Skowron, Andrzej, Wasilewski, Piotr, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 778 KB

english, 2018

2

Semantics and Controllability of Time-Aware Business Processes*

De Angelis, Emanuele, Fioravanti, Fabio, Meo, Maria Chiara, Pettorossi, Alberto, Proietti, Maurizio, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 403 KB

english, 2019

3

Lucent Process Models and Translucent Event Logs

van der Aalst, Wil M.P., Khomenko, Victor, Kleijn, Jetty, Penczek, Wojciech, Roux, Olivier H.

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 3.02 MB

2019

4

Communication and concurrency : By R. Milner. Prentice-Hall, Hemel Hempstead, UK, 1989, Price £17.95 (hardback), ISBN 0-13-115007-3

Wojciech Penczek

Journal:

Science of Computer Programming

Year:

1990

Language:

english

File:

PDF, 227 KB

english, 1990

5

Bounded model checking for knowledge and real time

Alessio Lomuscio, Wojciech Penczek, Bożena Woźna

Journal:

Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 842 KB

english, 2007

6

Model checking of causal knowledge formulas

Wojciech Penczek, Stanislaw Ambroszkiewicz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 1.20 MB

english, 2000

7

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || A Consensus Reaching Support System for Multi-criteria Decision Making Problems

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 177 KB

english, 2016

8

Rough Sets and Interactive Granular Computing

Skowron, Andrzej, Jankowski, Andrzej, Czaja, Ludwik, Penczek, Wojciech, Stencel, Krzysztof

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 1.60 MB

english, 2016

9

Core for Large Datasets: Rough Sets on FPGA

Kopczyński, Maciej, Grześ, Tomasz, Stepaniuk, Jarosław, Czaja, Ludwik, Penczek, Wojciech, Stencel, Krzysztof

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 488 KB

english, 2016

10

A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps

Czaja, Ludwik, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 1.95 MB

english, 2018

11

Trying to Understand PEG

Redziejowski, Roman R., Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 188 KB

english, 2018

12

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking

Rataj, Artur, Woźna-Szcześniak, Bożena, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 856 KB

english, 2018

13

Reversing Transitions in Bounded Petri Nets

Barylska, Kamila, Erofeev, Evgeny, Koutny, Maciej, Mikulski, Łukasz, Piątkowski, Marcin, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 326 KB

english, 2018

14

Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets

Pelz, Elisabeth, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 267 KB

english, 2018

15

TripICS - a Web Service Composition System for Planning Trips and Travels

Niewiadomski, Artur, Switalski, Piotr, Kowalczyk, Marcin, Penczek, Wojciech, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 694 KB

english, 2018

16

Superposition Principle in Composable Hybrid Automata

Akhundov, Jafar, Tröger, Peter, Werner, Matthias, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 333 KB

english, 2018

17

Computing Bisimulation-Based Comparisons

Nguyen, Linh Anh, Czaja, Ludwik, Penczek, Wojciech, Schlingloff, Holger, Son, Nguyen Hung

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 287 KB

english, 2018

18

Interleaving Based Model Checking of Concurrency and Causality

Wolf, Karsten, van der Aalst, Wil, Best, Eike, Penczek, Wojciech

Journal:

Fundamenta Informaticae

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018

19

From Data to Pattern Structures: Near Set Approach*

Wolski, Marcin, Gomolińska, Anna, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 254 KB

english, 2019

20

Applying Modern SAT-solvers to Solving Hard Problems

Niewiadomski, Artur, Switalski, Piotr, Sidoruk, Teofil, Penczek, Wojciech, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

Language:

english

File:

PDF, 1.88 MB

english, 2019

21

Linking Reaction Systems with Rough Sets

Dutta, Soma, Jankowski, Andrzej, Rozenberg, Grzegorz, Skowron, Andrzej, Penczek, Wojciech, Schlingloff, Holger, Wasilewski, Piotr

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 1.67 MB

2019

22

An Upper Bound for the Reachability Problem of Safe, Elementary Hornets

KÃ¶hler-BuÃmeier, Michael, Heitmann, Frank, Czaja, Ludwik, Penczek, Wojciech, Stencel, Krzysztof

Journal:

Fundamenta Informaticae

Year:

2016

File:

PDF, 138 KB

2016

23

On undecidability of propositional temporal logics on trace systems

Wojciech Penczek

Journal:

Information Processing Letters

Year:

1992

Language:

english

File:

PDF, 607 KB

english, 1992

24

Concurrent systems and inevitability

Antoni Mazurkiewicz, Edward Ochmański, Wojciech Penczek

Journal:

Theoretical Computer Science

Year:

1989

Language:

english

File:

PDF, 2.44 MB

english, 1989

25

Bounded Model Checking for Deontic Interpreted Systems

Bożena Woźna, Alessio Lomuscio, Wojciech Penczek

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 387 KB

english, 2005

26

Foreword

Wojciech Penczek

Journal:

Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 44 KB

english, 1998

27

Stuttering-Insensitive Automata for On-the-fly Detection of Livelock Properties

Henri Hansen, Wojciech Penczek, Antti Valmari

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 187 KB

english, 2002

28

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1

Magdalena Kacprzak, Wojciech Penczek

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2005

Language:

english

File:

PDF, 395 KB

english, 2005

29

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled, Wojciech Penczek

Journal:

Information and Computation

Year:

1999

Language:

english

File:

PDF, 388 KB

english, 1999

30

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || Partial order reduction: Model-checking using representatives

Penczek, Wojciech, Szałas, Andrzej

Year:

1996

Language:

english

File:

PDF, 1.16 MB

english, 1996

31

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || From specifications to programs: A fork-algebraic approach to bridge the gap

Penczek, Wojciech, Szałas, Andrzej

Year:

1996

Language:

english

File:

PDF, 599 KB

english, 1996

32

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 6128 || Learning Workflow Petri Nets

Lilius, Johan, Penczek, Wojciech

Year:

2010

Language:

english

File:

PDF, 328 KB

english, 2010

33

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1996 Volume 1113 || Models of DNA computation

Penczek, Wojciech, Szałas, Andrzej

Year:

1996

Language:

english

File:

PDF, 1.06 MB

english, 1996

34

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

Mȩski, Artur, Penczek, Wojciech, Szreter, Maciej, Woźna-Szcześniak, Bożena, Zbrzezny, Andrzej

Journal:

Autonomous Agents and Multi-Agent Systems

Year:

2014

Language:

english

File:

PDF, 1.82 MB

english, 2014

35

[Lecture Notes in Computer Science] Applications and Theory of Petri Nets Volume 6128 || PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language

Lilius, Johan, Penczek, Wojciech

Year:

2010

Language:

english

File:

PDF, 389 KB

english, 2010

36

[IEEE Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - Bratislava, Slovakia (2007.07.10-2007.07.13)] Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) - SAT-based Unbounded Model Checking of Timed Automata

Penczek, Wojciech, Penczek, Wojciech, Penczek, Wojciech, Penczek, Wojciech, Szreter, Maciej, Szreter, Maciej, Szreter, Maciej, Szreter, Maciej

Year:

2007

Language:

english

File:

PDF, 97 KB

english, 2007

37

Model checking temporal properties of reaction systems

Męski, Artur, Penczek, Wojciech, Rozenberg, Grzegorz

Journal:

Information Sciences

Year:

2015

Language:

english

File:

PDF, 719 KB

english, 2015

38

[ACM Press the fourth international joint conference - The Netherlands (2005.07.25-2005.07.29)] Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems - AAMAS '05 - Bounded model checking for knowledge and real time

Woźna, Bozena, Lomuscio, Alessio, Penczek, Wojciech

Year:

2005

Language:

english

File:

PDF, 450 KB

english, 2005

39

Symbolic model checking for temporal-epistemic logics

Lomuscio, Alessio, Penczek, Wojciech

Journal:

ACM SIGACT News

Year:

2007

Language:

english

File:

PDF, 844 KB

english, 2007

40

[ACM Press Proceeding of the fifteenth annual conference companion - Amsterdam, The Netherlands (2013.07.06-2013.07.10)] Proceeding of the fifteenth annual conference companion on Genetic and evolutionary computation conference companion - GECCO '13 Companion - Automated abstract planning with use of genetic algorithms

Skaruz, Jaroslaw, Niewiadomski, Artur, Penczek, Wojciech

Year:

2013

Language:

english

File:

PDF, 338 KB

english, 2013

41

[ACM Press the fifth international joint conference - Hakodate, Japan (2006.05.08-2006.05.12)] Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06 - Model checking for multivalued logic of knowledge and time

Konikowska, Beata, Penczek, Wojciech

Year:

2006

Language:

english

File:

PDF, 283 KB

english, 2006

42

Towards polymer-inorganic hybrid molecular composites: calorimetric studies of the polymer-inorganic particles interaction

Penczek, Stanislaw, Kaluzynski, Krzysztof, Pretula, Julia, Bartczak, Zbigniew, Zielenkiewicz, Wojciech, Kaminski, Miron

Journal:

Year:

2002

Language:

english

File:

PDF, 146 KB

english, 2002

43

[IEEE 2014 14th International Conference on Application of Concurrency to System Design - Tunis La Marsa, Tunisia (2014.6.23-2014.6.27)] 2014 14th International Conference on Application of Concurrency to System Design - Action Synthesis for Branching Time Logic: Theory and Applications

Knapik, Michal, Meski, Artur, Penczek, Wojciech

Year:

2014

Language:

english

File:

PDF, 332 KB

english, 2014

44

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 ||

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 7.67 MB

english, 2016

45

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || Support Vector Machines in Fuzzy Regression

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 514 KB

english, 2016

46

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || Content Data Based Schema Matching

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 789 KB

english, 2016

47

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || An Improved Adaptive Self-Organizing Map

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 638 KB

english, 2016

48

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || Microgrids and Management of Power

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 494 KB

english, 2016

49

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || A New Approach to the Multiaspect Text Categorization by Using the Support Vector Machines

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 177 KB

english, 2016

50

[Studies in Computational Intelligence] Challenging Problems and Solutions in Intelligent Systems Volume 634 || Prior-Art Relevance Ranking Based on the Examiner’s Query Log Content

Trė, Guy de, Grzegorzewski, Przemysław, Kacprzyk, Janusz, Owsiński, Jan W., Penczek, Wojciech, Zadrożny, Sławomir

Year:

2016

Language:

english

File:

PDF, 451 KB

english, 2016

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски